include_directories(
${CMAKE_SOURCE_DIR}/src
${CMAKE_SOURCE_DIR}/src/ComboReduct
${CMAKE_SOURCE_DIR}/src/ComboReduct/ant_combo_vocabulary
)
link_directories(
${CMAKE_BINARY_DIR}/src/ComboReduct
)

add_cxxtest(messageUTest)
target_link_libraries(messageUTest
	ComboReduct
	LADSUtil
)

add_cxxtest(type_treeUTest)
target_link_libraries(type_treeUTest
	ComboReduct
	LADSUtil
)

add_cxxtest(variable_unifierUTest)
target_link_libraries(variable_unifierUTest
	ComboReduct
	LADSUtil
)
add_cxxtest(procedure_repositoryUTest)
target_link_libraries(procedure_repositoryUTest
	ComboReduct
	LADSUtil
)
